Issue1484.agda:44,1-1
Issue1484.agda:44,1: Unsupported variant of lambda
<EOF><ERROR>
...
